Evaluating Consistency Between Campuses Using an Esophagus Knowledge Base Model
نویسندگان
چکیده
منابع مشابه
Deciding SHOQ^cap Knowledge Base Consistency using Alternating Automata
We introduce an automata-based method for deciding the consistency of SHOQ⊓ knowledge bases. The presented algorithm decides knowledge base consistency in deterministic double exponential time for SHOQ⊓, but is in ExpTime if no role conjunctions occur in the input knowledge base. This shows that SHOQ is indeed ExpTimecomplete, which was, to the best of our knowledge, always conjectured but neve...
متن کاملChecking an Expert Systems Knowledge Base for Consistency and Completeness
In t h i s paper we desor ibe a program t h a t v e r i f i e s t he oons is tenoy and completeness of exper t system knowledge bases whioh u t i l i z e t he Lookheed Expert System (LES) framework. The a l g o r i t h m s desor ibed here are not s p e c i f i c to LES and oan be a p p l i e d to most r u l e -based systems. The program, o a l l e d CHECK, combines l o g i o a l p r i n c i p l...
متن کاملcost benefits of rehabilitation after acute coronary syndrome in iran; using an epidemiological model
چکیده ندارد.
A New Parameter for Maintaining Consistency in an Agent's Knowledge Base Using Truth Maintenance Systems
In this paper we present a new and a novel way for maintaining the consistency in an agent's knowledge base relying on the notion of Truth Maintenance Systems. In our work, we present a new parameter which helps in determining which propositions or assertions to retract if a contradiction happens. Our new correctness parameter will be very easy to compute, at the same time, it is very effective.
متن کاملAn Interpretable Knowledge Transfer Model for Knowledge Base Completion
Knowledge bases are important resources for a variety of natural language processing tasks but suffer from incompleteness. We propose a novel embedding model, ITransF, to perform knowledge base completion. Equipped with a sparse attention mechanism, ITransF discovers hidden concepts of relations and transfer statistical strength through the sharing of concepts. Moreover, the learned association...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: International Journal of Radiation Oncology*Biology*Physics
سال: 2015
ISSN: 0360-3016
DOI: 10.1016/j.ijrobp.2015.07.2004